Reuse Automation

ion which eliminates details that are of no importance when dealing with high level design or checking whether a design satis es a particular property Decomposition which consists of breaking the design at a given level of hierarchy into components that can be designed and veri ed almost independently Sangiovanni Vincentelli a o proposes in RSV a way of orthogonalizing an electronic design along di erent dimensions behavior and communication This idea is based on the realization that there is a common structure of electronic systems consisting of a set of entities either hardware software or both that are connected together Each of the entities may either be a similar structure consisting of other interconnected entities or a basic block of the design the leaf of the hierarchy It is possible according to RSV to identify what role communication plays at all levels of the design and keep it separate from component behavior Thus the design of n electronic system can be carried out in two almost independent steps the design and the selection of the functionality of the components of the design and the way in which these components interact through a communication mechanism CHAPTER MODEL ANALYSIS